Eléments de l'association
|
List of bibliographic references
Number of relevant bibliographic references: 8.Ident. | Authors (with country if any) | Title |
---|---|---|
002E32 | Duc-Khanh Tran [Allemagne] ; Christophe Ringeissen [France] ; Silvio Ranise [Italie] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
004598 | Duc-Khanh Tran [France] ; Christophe Ringeissen [France] ; Silvio Ranise [France] ; Hélène Kirchner [France] | Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation |
004994 | Duc-Khanh Tran [France] | Conception de Procédures de Décision par Combinaison et Saturation |
004F53 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Automatic Combinability of Rewriting-Based Satisfiability Procedures |
005034 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Producing Conflict Sets for Combination of Theories |
005194 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Building and Combining Satisfiability Procedures for Software Verification |
005888 | Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | On Superposition-Based Satisfiability Procedures and their Combination |
006F48 | Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France] | Nelson-Oppen, Shostak and the Extended Canonizer: A Family Picture with a Newborn |
This area was generated with Dilib version V0.6.33. |